<?php
// Para acabar con una sesion no hay que usar session_destroy() a secas, no funciona. Hay
// que empezar abriendo la sesion.
session_start();

// Borrar todas las variables que podamos tener. Así isset() devolverá false.
$_SESSION = array();

//Borramos la coockie, que tiene el nombre de nuestra sesión
$params = session_get_cookie_params();
setcookie(session_name(), '', 1, $params["path"], $params["domain"], $params["secure"], $params["httponly"]);

// Ahora que ya está borrada la cookie, destruimos la sesión y volvemos a la página principal
session_destroy();
header('Location: index.php');
?>
